Trace(s), Fragment(s), Remain(s) Trace(s), Fragment(s), Reste(s)
نویسندگان
چکیده
منابع مشابه
On First-Order Fragments for Mazurkiewicz Traces
Mazurkiewicz traces form a model for concurrency. Temporal logic and first-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical properties can be described by rather simple logical formulas one is interested in logical fragments. One focus of this paper is unary temporal logic and first-order logic in two variables. Over words, this correspo...
متن کاملLogical fragments for Mazurkiewicz traces: expressive power and algebraic characterizations
Acknowledgments First and foremost, I would like to thank my supervisor Volker Diekert for his continual motivation and support over all my years in his group. He recommended the topic of this thesis to me and provided valuable guidance and advice. Furthermore I would like to thank Ulrich Hertrampf and Pascal Weil. I also wish to express my gratitude to Holger Austinat, Martin Horsch, Mar-tin M...
متن کاملOn First-Order Fragments for Words and Mazurkiewicz Traces A Survey
We summarize several characterizations, inclusions, and separations on fragments of first-order logic over words and Mazurkiewicz traces. The results concerning Mazurkiewicz traces can be seen as generalizations of those for words. It turns out that over traces it is crucial, how easy concurrency can be expressed. Since there is no concurrency in words, this distinction does not occur there. In...
متن کاملPolynomials, Fragments of Temporal Logic and the Variety DA over Traces
We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To this aim we give algebraic characterizations for the language operations of generating the polynomial closure and generating the unambiguous polynomial closure over traces. We also show that there exist natural fragments of local...
متن کاملAcquiring Experiential Traces 1 Running Head: Acquiring Experiential Traces Acquiring Experiential Traces in Word-referent Learning
National Institute of Mental Health grant MH-63972, and NSF grant BCS-0446637. We would like to thank Malte Elson, Christopher Morris, and Helena Yardley for their help in collecting data. Acquiring experiential traces 2 Abstract Two experiments investigated the activation of perceptual representations of referent objects during word processing. In both experiments, participants learned to asso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contemporary French and Francophone Studies
سال: 2014
ISSN: 1740-9292,1740-9306
DOI: 10.1080/17409292.2014.938493